syntactic calculus
un. 语法演算
[网络] 句法类型演算
热门查询
- investment n. 投资；投入；封锁
- vainglorious adj. 虚荣心强的；非常自负的
- Oakes [人名] [英格兰人姓氏] 奥克斯 Oak的变体; [地名] [美国] 奥克斯
- CLR abbr. clearance 清除; clear 售清（存货）; colour 色; clearing （银行间）票据交换
- orc n. 虎鲸；乐队；妖魔（等于orca）
- converging n. 合并，会聚 v. 聚合，集中于一点（converge的ing形式） adj. 会聚的，收敛
- alight adj. 烧着的；点亮着的 vi. 下来；飞落
- reconstruction n. 再建，重建；改造；复兴
- crook n. 骗子，坏蛋；弯处，弯曲部分；钩状物 vt. 使弯曲；欺骗，诈骗 vi. 弯曲，成钩形 n. (Crook)人名；(英)克鲁克
- Hutchinson [人名] [英格兰人、苏格兰人姓氏] 哈钦森取自父名，来源于Hutchin,含义是“哈钦之子”(son of Hutchin); [地名] [美国、南非共和国] 哈钦森
- eternal adj. 永恒的；不朽的
- judicially adv. 依法判决地；公正地
- extractable adj. 可抽出的，可榨出的；可推断出的
- SOS n. 紧急求救信号 vi. 发出遇难信号
- toilette n. 打扮，化妆；装饰；礼服
- seediness n. 破旧；下流；没精打采；起粒
- fulling n. 漂洗法，缩密法; 毡合; 缩呢
- ey abbr. 医院；阿联酋阿提哈德航空公司 n. (Ey)人名；(德)艾
- nibbling n. [机] 步冲轮廓法；抗偏驶性；分段剪切 v. 一点一点地吃；谨慎地着手；吹毛求疵（nibble的ing形式）
- sixthly num. 第六
